package ca.shojaei.mini_sat;

import java.util.Vector;



public abstract class Solver {

	protected Model m;

	public boolean solve(Clause c) {
		
	//	Vector<int[]> sat = c.getDIMACS(m);
		
		Boolean out;
		try{
		    out = c.evaluate(m);
		}catch(Exception e){
			return false;
		}
		
		return out;
	}
	
	public void setStartState(int stateName)
	{
		m.setStart(stateName);
		m.setCurrentStat(stateName);
		
	}
	
	public int getStartStateName()
	{
		return m.getStart().getStateName();
	}
	
	
}
